Finite-Horizon Optimal Spatio-Temporal Pattern Control under Spatio-Temporal Logic Specifications
نویسندگان
چکیده
In spatially distributed systems such as smart buildings and intelligent transportation systems, control of spatio-temporal patterns is an important issue. this paper, we consider a finite-horizon optimal pattern problem where the specified by signal logic formula over finite traces, which will be called SSTLf formula. We give syntax Boolean semantics SSTLf. Then, show linear encodings temporal spatial operators used in convert into mixed integer programming problem. illustrate effectiveness proposed approach through example heat system room.
منابع مشابه
Complex Spatio-Temporal Pattern Queries
This paper introduces a novel type of query, what we name Spatio-temporal Pattern Queries (STP). Such a query specifies a spatio-temporal pattern as a sequence of distinct spatial predicates where the predicate temporal ordering (exact or relative) matters. STP queries can use various types of spatial predicates (range search, nearest neighbor, etc.) where each such predicate is associated (1) ...
متن کاملReceding Horizon Control in Dynamic Environments from Temporal Logic Specifications
We present a control strategy for an autonomous vehicle that is required to satisfy a rich mission specification over service requests occurring at the regions of a partitioned environment. The overall mission specification consists of a temporal logic statement over a set of static, a priori known requests, and a servicing priority order over a set of dynamic requests that can be sensed locall...
متن کاملModeling of spatio-temporal of albedo over Iran
The aim of this study is modeling spatiotemporal variations of albedo. This study was conducted using simultaneous effects of several components, such as wetness of surface layer of soil, cloudiness, topography and vegetation density (NDVI), using MEERA2 model with a resolution of 50 in 50 km during 2000-2010 in Iran. The results of spatial analysis of albedo values in Iran showed that the high...
متن کاملUnderstanding the Spatio-temporal Pattern of Tweets
September 2013 769 Recent IT technologies and online services are tremendously altering the way people create, use and share geographic information (Elwood, 2008). Enabled by the widespread use of hand-handled GPS, geo-tags, high-resolution graphics and access to the Internet and Web 2.0, spatial data can be collected and produced voluntarily by the untrained general public. This has been terme...
متن کاملSpatio - Temporal
This paper investigates temporal changes of topological relationships and thereby integrates two important research areas: rst, two-dimensional topological relationships that have been investigated quite intensively, and second, the change of spatial information over time that has recently been identiied as an important research topic. We investigate spatio-temporal predicates, which describe d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE Transactions on Information and Systems
سال: 2022
ISSN: ['0916-8532', '1745-1361']
DOI: https://doi.org/10.1587/transinf.2021fop0003